$\forall$$w$:World, $p$:FairFifo. ES($w$) $\in$ ES